Christian Bromberger. Trichologiques-une anthropologie des cheveux et des poils

Maladies contagieuses non parasitaires-sur une nouvelle méthode de vaccination contre la pasteurellose des bovins et des buffles

Vers une modélisation et une analyse des exigences spatio-temporelles

Requirements Engineering (RE) is a key step in any project aiming at evolving an information system (IS). Current developments, on mobile systems for example, involve a spatial and temporal dimension, often reserved to geographic IS (GIS). This requires more systematic methods for capturing and reasoning about the spatial and temporal nature of requirements. This paper proposes a framework for ...

Evolution des profils UML : vers une migration automatisée et une optimisation assistée des modèles

The abstract syntax of a modeling language evolves all along the life-cycle of this language with its successive versions and these evolutions can have important repercussions on the models described in this language. We study the evolutions of the abstract syntax when this syntax is defined by a UML profile. More particularly, we are interested in the UML profile evolutions impacts on the inst...

Une formalisation des faisceaux et des schémas affines en théorie des types avec Coq

Etude sur l'Agalaxic contagieuse des chèvres et des moutons